First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
741	Linkoping Electronic Articles in Computer and Information Science Vol[removed]): nr 015 Temporal Action Logics (TAL): Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:14:21 Artificial intelligence Model theory Epistemology Frame problem Knowledge representation Logic programming Temporal logic First-order logic Logic Science Mathematical logic
742	Fundamenta Informaticae[removed]{14 IOS Press 1 Meta-Queries on Deductive Databases Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:04:30 Predicate logic Rules of inference First-order logic Model theory Resolution FO Generalization Universal quantification Horn clause Logic Mathematical logic Mathematics
743	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
744	Fundamenta Informaticae[removed]–[removed]IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:51:35 Non-classical logic Logic programming Defeasible logic Inference Non-monotonic logic Æ Stratification First-order logic Logic Mathematical logic Reasoning
745	Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:34:48 Logic Structure Interpretation Function Relational database First-order logic FO Constructible universe Golden ratio Mathematics Mathematical logic Model theory
746	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
747	A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:11:00 Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula
748	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
749	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
750	Temporal Composite Actions with Constraints Patrick Doherty† Jonas Kvarnstr¨om† Andrzej Szałas†,‡ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-04-25 03:46:50 Epistemology Frame problem Knowledge representation Logic programming Science Dynamical system Symbol First-order logic Mathematical logic Logic Artificial intelligence

UPDATE